Mutual exclusion in os